integral cos(2x)